On Rates of Convergence in Metric Fixed Point Theory

This thesis investigates some effective and quantitative aspects of metric fixed point theory in the light of methods from proof theory. The thesis consists of contributions to the program of proof mining, as developed by Kohlenbach and various collaborators since the early 1990s (but with roots back to Kreisel’s program “unwinding of proofs” from the 1950s). The contributions involve both case studies – studying given prima facie ineffective proofs of certain fixed point theorems to extract “hidden” effective information like explicit bounds and rates of convergence for iteration sequences, and also developing further the use of the logical machinery involved. The main theoretical tools involve Gödel’s functional (“Dialectica”) interpretation combined with negative translation and a variant of Howard’s majorizability relation – and specifically the logical metatheorems of Kohlenbach and Gerhardy, where the reach of these techniques is extended to formal systems for analysis with various abstract spaces added as new ground types. The main contributions of the thesis are twofold: (1) We construct explicit and effective full rates of convergence for the Picard iteration sequences for two classes of selfmaps on metric spaces. One of these are Kirk’s asymptotic contractions, and as a byproduct of the logical analysis we obtain a string of results concerning this class of mappings, including a characterization on nonempty, bounded, complete metric spaces as exactly the mappings for which there exists a point to which all Picard iteration sequences converge with a rate of convergence which is uniform in the starting point. This shows that in the setting of bounded metric spaces the asymptotic contractions in the sense of Kirk in some sense are the most general mappings which still exhibit convergence of the Picard iteration sequences of “Banach type” – to the same point and with strong uniformity with respect to the starting point. The other class of mappings for which we construct explicit rates of convergence are the so-called uniformly continuous uniformly generalized pcontractive mappings. Logical analysis of the concepts involved – using monotone functional interpretation – allows us to develop an extension of a related fixed point theorem from the case where the space is compact to arbitrary metric spaces. This is possible because monotone functional interpretation automatically leads us to consider the “right” uniform ver-